1. Infinitary logic : in memoriam Carol Karp
پدیدآورنده : a collection of papers by various authors; edited by D. W. Kueker
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory
رده :
QA
3
.
L28
Vol
.
492
2. Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
پدیدآورنده : edited by D. W. Kueker
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory,، Karp, Carol, 6291-2791
رده :
QA
1
.
L4
v
.
492
3. Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Karp, Carol,6291-2791,، Infinitary languages,، Model theory
رده :
QA
3
.
L28
no
.
492
4. Large infinitary languages
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Infinitary languages. ; Model theory. ;
5. Large infinitary languages : model theory
پدیدآورنده : Dickmann, M A
موضوع : ، Infinitary languages,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
7. Model theory for infinitely deep languages /
پدیدآورنده : Maaret Karttunen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Infinitary languages.,Model theory.
رده :
QA1
.
S96
no
.
50
8. Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
پدیدآورنده : / H. Jerome Keisler
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Infinitary languages,Model theory
رده :
511
.
3
K27
9. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33